---

predicate calculus language

英 [ˈpredɪkət ˈkælkjələs ˈlæŋɡwɪdʒ] 美 [ˈpredɪkət ˈkælkjələs ˈlæŋɡwɪdʒ]

网络  谓词演算语言

计算机

---

---